Diagnosis of Discrete-Event Systems using Binary Decision Diagrams
نویسندگان
چکیده
We improve the efficiency of Sampath’s diagnoser approach by exploiting compact symbolic representations of the system and diagnoser in terms of binary decision diagrams. We present an algorithm for synthesising the symbolic diagnoser with promising results on test cases derived from a telecommunication application.
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملDiagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams
Diagnostic methods for engineering systems are typically model-based: functional and/or fault models are used to diagnose the root cause of anomalies. Discrete models are abstractions of systems in a discretized input, output and state space. These models provide an accurate description for a broad category of systems (switching networks, digital systems, etc.) but can also be used for approxim...
متن کاملState based control of timed discrete event systems using binary decision diagrams
State Based Control of Timed Discrete Event Systems using Binary Decision Diagrams Ali Saadatpoor Master of Applied Science Graduate Department of Electrical and Computer Engineering University of Toronto 2004 This thesis discusses a new synthesis approach to the supervisory control of Timed Discrete Event Systems (TDES). The new approach is much more efficient than the existing synthesis appro...
متن کاملAlgebraicmethods for Discrete Event Systems - a Tutorial
Discrete event dynamic systems (DEDS) are treated in a mathematical framework using algebra and polynomials over finite fields. In this framework DEDS interacts with the environment by signals rather than events. The polynomial framework give symbolic representation of a DEDS behavior and canbe used formodeling, synthesis and verification. Two tools, Gröbner basis and binary decision diagrams, ...
متن کاملFault Diagnosis of Distributed Discrete Event Systems Using OBDD
In this paper, we study the fault diagnosis problem for distributed discrete event systems. The model assumes that the system is composed of distributed components that are modeled in labeled Petri nets and interact with each other via sets of common resources (places). Further, a component’s own access to a common resource is an observable event. Based on the diagnoser approach proposed by Sam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004